algorithmic solvability перевод

• мат. алгоритмическая разрешимость

• algorithmic:    алгоритмический алгоритмический algorithmic алгоритмический
• solvability:    1) _мат. разрешимость2) _хим. растворимость
• algebraical solvability:    мат. разрешимость в радикалах
• degree of solvability:    мат. степень разрешимости
• local solvability:    мат. локальная разрешимость
• normal solvability:    мат. нормальная разрешимость
• numerical solvability:    мат. численная разрешимость
• onevalued solvability:    one-valued solvabilityмат. однозначная разрешимость
• problem of solvability:    мат. проблема разрешимости
• rank of solvability:    мат. ранг разрешимости
• recursive solvability:    мат. рекуррентная разрешимость
• solvability condition:    условие разрешимости
• solvability index:    мат. показатель разрешимости
• squared solvability:    мат. разрешимость в квадрате
• algorithmic access:    алгоритмический доступ (предполагающий вычисление адреса по некоторомуалгоритму)

• The machinery of the canonical representatives allowed Rips and Sela to prove algorithmic solvability of finite systems of equations in torsion-free hyperbolic groups, by reducing the problem to solving equations in free groups where the Makanin-Razborov algorithm can be applied.
  Техника канонических представителей использовалась Рипсом и Селой, чтобы доказать, что существует алгоритмическое решение конечных систем уравнений в гиперболических группах без кручения, сводя задачу к решению уравнений в свободных группах, где может быть применён алгоритм Маканина-Разборова.